sat problem